mini-os: use generic local_irq_enable function
authorThomas Leonard <talex5@gmail.com>
Wed, 16 Jul 2014 11:07:46 +0000 (12:07 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 18 Jul 2014 12:38:08 +0000 (13:38 +0100)
commit67980734bdbc0cc307cd5620ed0804f70c0b3434
tree6864b2526042cff07fe0ad196337eb203d812623
parent750cdc32d73f8d5e4e1cbd1f252dd145e8e8c962
mini-os: use generic local_irq_enable function

__sti is x86 specific.

Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
extras/mini-os/kernel.c